SubSet Range(void)
Returns the subset that is the range of the map.
SubSet Domain(void)
Returns the subset that is the domain of the map.
MapType Holds(void)
Returns the type of map currently held by the map.
Boolean Invertible(void)
Returns TRUE if and only if the map is invertible.